n (logic) A value indicating to what extent a statement is true; in classical logic, these are the values "true" and "false".